Reactive Kripke Semantics (Cognitive Technologies)
by Dov M. Gabbay
ISBN 13: 9783662514368
Format: Paperback (456 pages) Publisher: Springer Published: 12 Aug 2016
Save for later
The International Directory of Logicians: Who's Who in Logic
by Dov M. Gabbay, John Woods
ISBN 13: 9781904987901
Format: Paperback (408 pages) Publisher: College Publications Published: 27 Apr 2009
Handbook of Philosophical Logic: Volume I: Elements of Classical Logic (Synthese Library) (Volume 1): 164
ISBN 13: 9789400970687
Format: Paperback (512 pages) Publisher: Springer Published: 14 Oct 2011
Mathematical Problems from Applied Logic I: Logics for the XXIst Century: 4 (International Mathematical Series)
by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
ISBN 13: 9781441921109
Format: Paperback (376 pages) Publisher: Springer Published: 25 Nov 2010
Handbook of Philosophical Logic: Volume 15
by Dov M. Gabbay, Franz Guenthner
ISBN 13: 9789400734517
Format: Paperback (416 pages) Publisher: Springer Published: 27 Jan 2013
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library)
ISBN 13: 9789048183623
Format: Paperback (304 pages) Publisher: Springer Netherlands Published: 28 Dec 2009
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series)
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
ISBN 13: 9789048177257
Format: Paperback (620 pages) Publisher: Springer Published: 22 Nov 2010
Handbook of Philosophical Logic, 2nd Edition: Volume 8
ISBN 13: 9789401039192
Format: Paperback (372 pages) Publisher: Springer Published: 04 Oct 2013
Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic: 166 (Synthese Library)
ISBN 13: 9789401088015
Format: Paperback (540 pages) Publisher: Springer Published: 04 Oct 2013
Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)
by Dov M. Gabbay, Karl Schlechta
ISBN 13: 9783642261879
Format: Paperback (316 pages) Publisher: Springer Published: 01 Mar 2012
What is Negation?: 13 (Applied Logic Series)
ISBN 13: 9789048151691
Format: Paperback (352 pages) Publisher: Springer Published: 15 Dec 2010
Goal-Directed Proof Theory: 21 (Applied Logic Series)
ISBN 13: 9789048155262
Format: Paperback (284 pages) Publisher: Springer Published: 04 Oct 2013